大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Rational Fault Analysis 的图书(共6629本)

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号：
作者：Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbr眉cken, Germany, October 5-7, 2011. Proceedings

0
索取号：
作者：Tinelli、 Cesare.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

0
索取号：
作者：Fahrenberg、 Uli.、Tripakis、 Stavros.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

0
索取号：
作者：Hage、 Jurriaan.、Moraz谩n、 Marco T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Location-Based Services [electronic resource] : 8th International Symposium on Location-Based Services, Vienna 2011

0
索取号：
作者：Gartner、 Georg.、Ortag、 Felix.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advanced Parallel Processing Technologies [electronic resource] : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings

0
索取号：
作者：Temam、 Olivier.、Yew、 Pen-Chung.、Zang、 Binyu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Distributed Computing [electronic resource] : 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings

0
索取号：
作者：Peleg、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Image Analysis and Processing-ICIAP 2011 [electronic resource] : 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part II

0
索取号：
作者：Maino、 Giuseppe.、Foresti、 Gian Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Image Analysis and Processing-ICIAP 2011 [electronic resource] : 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part I

0
索取号：
作者：Maino、 Giuseppe.、Foresti、 Gian Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Cryptographic Protocol [electronic resource] : Security Analysis Based on Trusted Freshness

0
索取号：
作者：Dong、 Ling.、Chen、 Kefei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Fault Detection and Flight Data Measurement [electronic resource] : Demonstrated on Unmanned Air Vehicles Using Neural Networks

0
索取号：
作者：Samy、 Ihab.、Gu、 Da-Wei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Visual Computing [electronic resource] : 7th International Symposium, ISVC 2011, Las Vegas, NV, USA, September 26-28, 2011. Proceedings, Part II

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Wang、 Song.、Kyungnam、 Kim.、Benes、 Bedrich.、Moreland、 Kenneth.、Borst、 Christoph.、DiVerdi、 Stephen.、Yi-Jen、 Chiang.、Ming、 Jiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Visual Computing [electronic resource] : 7th International Symposium, ISVC 2011, Las Vegas, NV, USA, September 26-28, 2011. Proceedings, Part I

0
索取号：
作者：Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Wang、 Song.、Kyungnam、 Kim.、Benes、 Bedrich.、Moreland、 Kenneth.、Borst、 Christoph.、DiVerdi、 Stephen.、Yi-Jen、 Chiang.、Ming、 Jiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligent Distributed Computing V [electronic resource] : Proceedings of the 5th International Symposium on Intelligent Distributed Computing 鈥ɄC 2011, Delft, The Netherlands 鈥ϣtober 2011

0
索取号：
作者：Brazier、 F. M. T.、Nieuwenhuis、 Kees.、Pavlin、 Gregor.、Warnier、 Martijn.、Badica、 Costin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Modeling Dose-Response Microarray Data in Early Drug Development Experiments Using R [electronic resource] : Order-Restricted Analysis of Microarray Data

0
索取号：
作者：Lin、 Dan.、Shkedy、 Ziv.、Yekutieli、 Daniel.、Amaratunga、 Dhammika.、Bijnens、 Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions [electronic resource] : International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings

0
索取号：
作者：Madabhushi、 Anant.、Dowling、 Jason.、Huisman、 Henkjan.、Barratt、 Dean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.